A Formal Approach to Event-Based Architectures
نویسندگان
چکیده
We develop a formal approach to event-based architectures that serves two main purposes: to characterise the modularisation properties that result from the algebraic structures induced on systems by this discipline of coordination; and to further validate and extend the CommUnity approach to architectural modelling with “implicit invocation”, or “publish/subscribe” interactions. This is a first step towards a formal integration of architectural styles.
منابع مشابه
A formal framework to model and validate event-based software architecture
Today, distributed systems with loose connections are increasingly developed using event-based architectures. In these architectures, systems are composed of separate components which cooperate dynamically. The communication and cooperation of components in these architectures are done through event passing mechanisms. The main challenge in these architectures is to define a framework to model ...
متن کاملReliability and Performance Evaluation of Fault-aware Routing Methods for Network-on-Chip Architectures (RESEARCH NOTE)
Nowadays, faults and failures are increasing especially in complex systems such as Network-on-Chip (NoC) based Systems-on-a-Chip due to the increasing susceptibility and decreasing feature sizes. On the other hand, fault-tolerant routing algorithms have an evident effect on tolerating permanent faults and improving the reliability of a Network-on-Chip based system. This paper presents reliabili...
متن کاملThe Life Giving Properties in the Structure of the Ganjali-Khan Square in Kerman based on Alexander’s Theory of Order
In studying the case studies of traditional architectures according to Christopher Alexander’s theory about “the nature of order” and the fifteen fundamental properties introduced, it is important to note that the ontology of the theory is based on human’s indigenous feeling about architecture, which subsequently implies these kind of studies to be based on people’s cognitive images induced fro...
متن کاملA Systematic Review of the Key Success Factors of Sports Event Management: A Resource-based View Approach
Background. Many countries worldwide use sports events as a tool to stimulate both their national and local economies. To gain a competitive advantage, knowledge of sports event success is essential for stakeholders and hosting countries. However, due to the diverse conceptualizations of event success, the knowledge of the issue is fragmented, and there is a lack of comprehensive studies for sc...
متن کاملHammerstein-Wiener Model: A New Approach to the Estimation of Formal Neural Information
A new approach is introduced to estimate the formal information of neurons. Formal Information, mainly discusses about the aspects of the response that is related to the stimulus. Estimation is based on introducing a mathematical nonlinear model with Hammerstein-Wiener system estimator. This method of system identification consists of three blocks to completely describe the nonlinearity of inp...
متن کامل